Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen
نویسندگان
چکیده
Der Test von Software ist ein notwendiges, jedoch ressourcenintensives Unterfangen. Aus diesem Grund wurden verschiedene Ansätze entwickelt, die einzelnen Aspekte des Softwaretests zu automatisieren. In diesem Paper stellen wir einen Ansatz zur automatischen Testfallerzeugung für den modellbasierten Test vor. Dabei werden aus UML-Modellen eines Softwaresystems und der Beschreibung von Testszenarien parametrisierbare Testfälle in TTCN-3 erzeugt. Die Parametrisierung erhöht dabei die Wiederverwendbarkeit der Testfälle, unterstützt die gezielte Auswahl geeigneter Testdaten und wirkt so dem Phänomen der Testfallexplosion entgegen.
منابع مشابه
Modellgetriebene Generierung von Eclipse-RCP-Oberflächen zur Stammdatenverwaltung
Das Entwickeln von Stammdatenverwaltungsoberflächen ist eine ungeliebte, aber in vielen Projekten notwendige ”Fleißarbeit“. Um diesen Vorgang zu automatisieren, wurde in einer Diplomarbeit eine AndroMDA Cartridge entwickelt, die Stammdatenverwaltungsoberflächen auf Basis von Eclipse RCP aus UML Modellen generiert. Diese Diplomarbeit und ihr Ergebnis werden im Folgenden vorgestellt. 1 Fakten zur...
متن کاملModellierung und Qualitätssicherung von UML-Modellen der Geschäftslogik von Informationssystemen
Der zunehmenden Komplexität von Software-Modellen, die als Parameter für Codegenerierung verwendet werden, steht der menschliche Modellierer gegenüber, dessen mögliche Modellierungsfehler sich direkt auf das generierte Systemverhalten auswirken. Der Modellierer muss je nach konkreter Aufgabe die gewünschte Sicht auf das Modell wählen können und darüber hinaus durch automatische Qualitätssicheru...
متن کاملM2m-Transformation mit der QVT Relations Language
QVT ist ein Sprachkonzept der Object Management Group zur Transformation von formalen Modellen. In diesem Beitrag werden ausgehend von einem einfachen Fachklassenmodell die zentralen Konzepte und Techniken der Transformationssprache Relations Language vorgestellt, so dass abschließend eine vollständige Transformation eines UML-Modells der PIM-Ebene in eins der PSMEbene vorgenommen werden kann. ...
متن کاملAutomatisierte, prozessbegleitende Identifizierung der Problemlösestrategien Lernender unter Verwendung von Mustererkennungsmethoden
Im Informatikunterricht eingesetzte Lernund Programmierumgebungen geben den Benutzenden Feedback in Form von Systemmeldungen, die durch Programmfehler ausgelöst und gesteuert werden und oft nur technische Hinweise enthalten ohne Bezug zum Problemlöseprozess der Lernenden. Um diese Rückmeldungen nicht nur an das Faktenwissen der Lernenden, sondern auch an ihr prozedurales Wissen zu adaptieren, m...
متن کاملGenerierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen
In diesem Kurzbeitrag zeigen wir, wie textuelle Anwendungsfallbeschreibungen werkzeuggestützt in UML-Aktivitätsdiagramme überführt werden können. Mit Hilfe eines von uns entwickelten Werkzeuges formalisieren wir zunächst die Beschreibung der Interaktionen, um anschließend aus dem so erstellten formalisierten Anwendungsfallmodell mittels automatisierter Transformation ein UML-Modell zu generiere...
متن کامل